operational semantics
英 [ˌɒpəˈreɪʃənl sɪˈmæntɪks]
美 [ˌɑːpəˈreɪʃənl sɪˈmæntɪks]
操作语义
双语例句
- Operational semantics based cooperative design of AutoCAD
基于操作语义的AutoCAD协同设计的实现 - The correctness and reliability of the operational semantics model were proved by Hoare logic and denotational semantics.
通过Hoare逻辑和基本指称语义对本文所定义的操作语义模型的正确性和可靠性进行了证明。 - This paper defines the purely functional channel system operations based on a monad which is combined a state transformer monad with a exception monad. The operational semantics of channel system operations have been given for using.
该文通过组合状态转换Monad和异常处理Monad来定义纯函数式语言通道系统操作，给出了通道系统操作的操作语义。 - Syntax and operational semantics of recursive programs based on predicate logic
建立于谓词逻辑上的递归程序及其操作语义 - Our proof framework supports Hoare-logic style reasoning. In addition, we use high-order logic to describe both operational semantics and safety policy.
我们采用Hoare风格的推导方式，使用高阶逻辑来同时描述机器指令的操作语义和所需要的安全策略。 - This paper presents an operational semantics of Verilog.
提出了一个Verilog的操作语义模型。 - It was introduced syntax and operational semantics of π-calculus and the system was described as expression of process algebra.
在简单介绍π-演算的语法和操作语义的基础上，用进程表达式对整个系统进行形式化的描述； - An operational semantics model of DFL programming language was proposed with a ternary array and then some basic data types and several mechanisms of constructing new data types were defined;
通过一个三元组给出了DFL程序设计语言的操作语义模型； - There may also be operational semantics to consider when introducing a change.
在引入更改时，还可能需要考虑操作语义。 - Moreover, we give a formal operational semantics of the calculus in terms of the labeled transition system. Moreover, we define the notion of open bisimulation and prove it to be a congruence relation.
此外，我们以标签变迁系统的形式给出了演算的形式化操作语义，还定义了开放互模拟的概念并证明该互模拟关系是同余关系。